home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / web / noweb / examples / whitespace < prev   
Encoding:
Text File  |  1995-02-24  |  284 b   |  9 lines
  1.  
  2. # whitespace -- noweb filter to make multiple whitespace
  3. #    characters equivalent to a single space, so that
  4. #    << Hello World>>, <<Hello   World>>, 
  5. #    and <<Hello World   >> all refer to the chunk 
  6. #    <<Hello World>>
  7.  
  8. sed -e '/^@use /s/[ \t][ \t]*/ /g' -e '/^@defn /s/[ \t][ \t]*/ /g'
  9.